lower semicontinuous function

【数学】下半连续函数